Section: New Results

Formal verification in Geometry

Participants : Laurent Fuchs, Laurent Théry [correspondant] .

Grassmann-Cayley Algebras are a convenient algebraic way of talking about geometrical concepts. We have further improved our certified Grassmann-Cayley Algebra library to accommodate unbalanced binary trees. A publication has been accepted and will be published in 2014.